11.5.3 실행 결과 검증: AI가 제시한 결과값과 오라클의 계산 결과값 비교 (Diffing)